Macneille Transferability and Stable Classes of Heyting Algebras
نویسندگان
چکیده
A lattice P is transferable for a class of lattices K if whenever P can be embedded into the ideal lattice IK of some K ∈ K, then P can be embedded into K. There is a rich theory of transferability for lattices. Here we introduce the analogous notion of MacNeille transferability, replacing the ideal lattice IK with the MacNeille completion K. Basic properties of MacNeille transferability are developed. Particular attention is paid to MacNeille transferability in the class of Heyting algebras where it relates to stables classes of Heyting algebras, and hence to stable intermediate logics.
منابع مشابه
Macneille Completions of Heyting Algebras
In this note we provide a topological description of the MacNeille completion of a Heyting algebra similar to the description of the MacNeille completion of a Boolean algebra in terms of regular open sets of its Stone space. We also show that the only varieties of Heyting algebras that are closed under MacNeille completions are the trivial variety, the variety of all Boolean algebras, and the v...
متن کاملComparison of MacNeille, Canonical, and Profinite Completions
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic.
متن کاملOn some classes of expansions of ideals in $MV$-algebras
In this paper, we introduce the notions of expansion of ideals in $MV$-algebras, $ (tau,sigma)- $primary, $ (tau,sigma)$-obstinate and $ (tau,sigma)$-Boolean in $ MV- $algebras. We investigate the relations of them. For example, we show that every $ (tau,sigma)$-obstinate ideal of an $ MV-$ algebra is $ (tau,sigma)$-primary and $ (tau,sigma)$-Boolean. In particular, we define an expansion $ ...
متن کاملMacNeille Completions of FL-algebras
We show that a large number of equations are preserved by DedekindMacNeille completions when applied to subdirectly irreducible FL-algebras/residuated lattices. These equations are identified in a systematic way, based on proof-theoretic ideas and techniques in substructural logics. It follows that a large class of varieties of Heyting algebras and FL-algebras admits completions.
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کامل